1.
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Particles )Naclear physics(- Congresses,، Phenomonological theory )physics(- Congresses,، Standard model )Nuclear physics(- Congresses,، Quantum chromodynamics- Congresses,، Hadrons- Congresses
رده :
QC
793
H5
1994
2. #<A> course in model theory
پدیدآورنده : #Bruno Poizat , translated by Moses Klein
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Model theory
رده :
#
QA
،#.
P65
3. A course in model theory /
پدیدآورنده : Katrin Tent, Martin Ziegler
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model theory,Model theory, Problems, exercises, etc
4. <A> course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده : Bruno Poizat
کتابخانه: (کرمان)
موضوع : Model theory
رده :
QA
9
.
7
.
P67
2000
5. A course in model theory : an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P63
6. A course in model theory: an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P65
2000
7. <A> course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده : Bruno Poizat
کتابخانه: (کرمان)
موضوع : Model theory
رده :
QA
9
.
7
.
P67
2000
8. A disequilibrium model of demand for factors of production
پدیدآورنده : ]by[ M. Ishaq Nadiri and Sherwin Rosen
کتابخانه: کتابخانه دانشکده علوم اجتماعی دانشگاه تهران (طهران)
موضوع : United States- Economic conditions- Mathematical model,United States- Economic conditions- 194,Manufacturing industries- United States,Production functions )Economic theory(,Factors of production
رده :
HC
106
.
5
.
N218
1974
9. A guide to classical and modern model theory
پدیدآورنده : / Annalisa Marcja, Carlo Toffalori
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
M364
2003
10. A guide to classical and modern model theory
پدیدآورنده : / by Annalisa Marcja, Carlo Toffalori
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : Model theory
رده :
QA
۹
/
۷
/
م
۲
گ
۲ ۱۳۸۲
11. A guide to classical and modern model theory
پدیدآورنده : / Annalisa Marcja, Carlo Toffalori
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Model theory
رده :
QA9
.
7
.
M364
2003
12. A shorter model theory
پدیدآورنده : Hodges, Wilfrid, 1491-
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
H62
13. Accessible categories: the foundations of categorical model theory
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
14. Accessible categories : the foundations of categorical model theory
پدیدآورنده : Makkai, Mihaly, 9391-
کتابخانه: (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M25
15. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: (طهران)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
16. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
17. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
18. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
19. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973